modus ponens

method of placing

Notes

Loosely "method of affirming", a logical rule of inference stating that from propositions if P then Q and P, then one can conclude Q.